Blar i NTNU Open på forfatter "Torben, Tobias"

Viser treff 1-3 av 3

    • Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic 

      Torben, Tobias; Glomsrud, Jon Arne; Pedersen, Tom Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2022)
      A methodology for automatic simulation-based testing of control systems for autonomous vessels is proposed. The work is motivated by the need for increased test coverage and formalism in the verification efforts. It aims ...

    • Control Allocation for Double-ended Ferries with Full-scale Experimental Results 

      Torben, Tobias; Brodtkorb, Astrid Helene; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2020)
      A novel control allocation algorithm for double-ended ferries with symmetrical thruster configuration is proposed. The allocation problem is formulated using the extended thrust representation, resulting in a four dimensional ...

    • On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships 

      Torben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan (Journal article, 2022)
      Maritime Autonomous Surface Ships (MASS) are approaching a reality, introducing a new level of complexity and criticality to maritime control systems. In this paper we investigate how Formal Methods (FMs) can be used to ...